The Complexity of Rational Synthesis
نویسندگان
چکیده
We study the computational complexity of the cooperative and non-cooperative rational synthesis problems, as introduced by Kupferman, Vardi and co-authors. We provide tight results for most of the classical omega-regular objectives, and show how to solve those problems optimally. 1998 ACM Subject Classification B.6.3 Automatic Synthesis, F.2 Analysis of algorithms and problem complexity, F.1.1 Automata
منابع مشابه
The effects of task complexity on Chinese learners’ language production: A synthesis and meta-analysis
The present meta-analysis was conducted to provide a quantitative measure of the overall effects of task complexity on Chinese EFL learners’ language production. Based on the strict inclusion criteria, 12 primary studies were synthesized according to key features. Eleven of them were meta-analyzed to investigate effects of raising the resource-directing task comple...
متن کاملRational Design, Synthesis and Computational Structure-Activity Relationship of Novel 3-(4-Chlorophenyl)-5-(3-Hydroxy-4-Ethoxyphenyl)-4,5-Dihydro-1H-Pyrazole-1-Carboxamide
Densely functionalized 3-(4-chlorophenyl)-5-(3-hydroxy-4-etoxyphenyl)-4,5-dihydro-1H-pyrazole-1-carboxamide was synthesized in an expedient manner through specification and transamidation respectively, of ester-functionalized pyrazoles. This synthetic protocol allowed for three diversifying steps in which appendages on the pyrazole scaffold were adjusted to optimize inhibition of protein kina...
متن کاملThe Complexity of Concurrent Rational Synthesis
In this paper, we investigate the rational synthesis problem for concurrent game structure for a variety of objectives ranging from reachability to Muller condition. We propose a new algorithm that establishes the decidability of the non cooperative rational synthesis problem that relies solely on game theoretic technique as opposed to previous approaches that are logic based. Thanks to this ap...
متن کاملController synthesis for L2 behaviors using rational kernel representations
This paper considers the controller synthesis problem for the class of linear time-invariant L2 behaviors. We introduce classes of LTI L2 systems whose behavior can be represented as the kernel of a rational operator. Given a plant and a controlled system in this class, an algorithm is developed that produces a rational kernel representation of a controller that, when interconnected with the pl...
متن کاملSynthesis of Some Benzofuran Derivatives Containing Pyrimidine Moiety as Potent Antimicrobial Agents
In this investigation, the synthesis of 2-substituted pyrimidines by the reaction of benzofuranchalcones (3a-d) with urea, thiourea and guanidine hydrochloride was reported. The structuresof title compounds (4a-d), (5a-d) and (6a-d) were established on the basis of analyticaland spectral data. The synthesized compounds were screened for antimicrobial activityand molecular docking studies. Some ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016